Uploaded image for project: 'Calcite'
  1. Calcite
  2. CALCITE-2327

In 3 valued logic mode (b and not b) may not be simplified to false

    XMLWordPrintableJSON

Details

    • Bug
    • Status: Closed
    • Major
    • Resolution: Fixed
    • None
    • 1.18.0
    • None
    • None

    Description

      currently its simplified to false; but that is not correct when a is unknown

      Attachments

        Issue Links

          links to

          Web Link PR707

          Activity

            People

              kgyrtkirk Zoltan Haindrich
              kgyrtkirk Zoltan Haindrich
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: